Application Of Intensional Logic To Knowledge Representation

The system of transparent intensional logic (TIL) introduced by Pavel Tich~ is used as a framework for a description of knowledge representation in n~n-machine con,nunication. A detailed exposition of TIL can be found in /1/. A language expression denotes an object by expressing its construction. The syntactic structure of the expression reflects the structure of the corresponding construction (thus obeying Frege's principle of oompositionality). To analyze an expression semantically means to determine the construction it expresses. Ordinary language expressions have often more than one analysis. The analyses of language expressions (i.e. construct~, ions) can be represented by ~-expressions. This representat-ional language has the same expressive power (within the framework of TIL) as the natural language, but has no ambiguities. The inference rules of TIT serve as a theoretical foundation for the inference necessary in knowledge representation. The infinite hierarchy of types in TIL makes it possible to work with properties of properties or with relations between an individual and a proposition in the same way as the first order theories work with relations between individuals. Thus, TIL can be considered to be a limit case of the theories of order n.